System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
591	Afghanistan Comprehensive Health Information System Strategic PlanImplementation Plan Details of activities under each intervention Add to Reading List Source URL: moph.gov.af Language: English - Date: 2014-12-05 22:59:10 Software engineering Data quality Computing Programming language theory Needs assessment ALGOL 68
592	UCME_brochure082014 screen2 Add to Reading List Source URL: www.controlsee.com Language: English - Date: 2014-08-21 04:52:56 Application programming interfaces Alarms OPC Foundation Opc server SCADA Notification system Alarm devices Smoke detector OLE for process control Technology Automation Safety
593	Ur: Statically-Typed Metaprogramming with Type-Level Record Computation Adam Chlipala PLDI 2010 Strength of Guarantee Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2012-09-05 20:22:17 Data management Programming paradigms Data types SQL Metaprogramming Type system Computing Relational database management systems Software engineering
594	Scaling Up POMDPs for Dialog Management: The “Summary POMDP” Method Jason D. Williams and Steve Young Cambridge University Engineering Department Trumpington Street, Cambridge CB2 1PZ, UK . Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2005-07-01 06:49:10 Stochastic control Control theory User interfaces Partially observable Markov decision process Dialog system Markov decision process Dialogue Mode Statistics Dynamic programming Markov processes
595	Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:29:36 Declarative programming Satisfiability Modulo Theories Type system Prolog Symbolic execution Linear programming Theoretical computer science Software engineering Constraint programming
596	An SVG Based Tool for Plane Geometry and Mathematics Education1 Xun Lai, Paul Wang Kent State University, Kent, Ohio, USA Abstract Geometry is an important part of mathematics. Described is a Scalable Vector G Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2005-01-21 01:07:15 Computing Authoring system Web page Mathematics education Java applet Java platform Java programming language
597	WEB USER MANUAL 1 The WEB System of Structured Documentation This memo describes how to write programs in the WEB language; and it also includes the full WEB documentation for WEAVE and TANGLE, the programs that read WE Add to Reading List Source URL: mirror.unl.edu Language: English - Date: 2005-07-12 07:20:00 C programming language Macro programming languages Procedural programming languages Pascal Cross-platform software Comparison of Pascal and C TeX WEB C preprocessor Computing Software engineering Computer programming
598	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2014-09-20 20:34:08 Computer programming Source code Function Graph of a function Parameter Inverse function Subroutine Cartesian coordinate system Anonymous function Mathematics Functions and mappings Elementary mathematics
599	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: ftp.jaist.ac.jp Language: English - Date: 2014-09-20 20:34:08 Computer programming Source code Function Graph of a function Parameter Inverse function Subroutine Cartesian coordinate system Anonymous function Mathematics Functions and mappings Elementary mathematics
600	GNU Emacs Reference Card (for version 20) Starting Emacs To enter GNU Emacs 20, just type its name: emacs To read in a file to edit, see Files, below. Add to Reading List Source URL: moss.csc.ncsu.edu Language: English - Date: 2006-06-15 21:15:27 Text editors Cross-platform software Procedural programming languages User interface techniques Incremental search C Lisp X Window System Software Computing Emacs

UPDATE